vector identities for gate